121. Foundations of probabilistic logic programming :
پدیدآورنده: Fabrizio Riguzzi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming.,Probabilities-- Data processing.,COMPUTERS-- Logic Design.,Logic programming.,Probabilities-- Data processing.
رده :
QA76
.
63
.
R54
2018
122. From Logic Design to Logic Programming:
پدیدآورنده: D Snyers
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic.,Computer programming.,Computer science.
رده :
QA76
.
9
.
A96
D769
1987
123. From logic design to logic programming : theorem proving techniques and P-functions
پدیدآورنده: Snyers, Dominique, 9591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Automatic theorem proving,، Computer algorithms,، Logic programming
رده :
QA
76
.
L28
Vol
.
271
124. From logic programming to Prolog
پدیدآورنده: Apt, Krzysztof R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming,، Prolog )Computer program language(
رده :
QA
76
.
63
.
A67
1996
125. From logic programming to Prolog
پدیدآورنده: Apt, Krzysztof R.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Logic programming , Prolog )Computer program language(
رده :
QA
76
.
63
.
A67
1997
126. From logic programming to Prolog
پدیدآورنده: / Krzysztof R. Apt
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Logic programming,Prolog (Computer program language)
رده :
QA
76
.
73
.
A67
1996
127. From logic programming to prolog.
پدیدآورنده: / Krzysztof R.Apt
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Logic programming,Prolg(Computer program language)
رده :
QA
76
.
63
.
A67
1996
128. From logic to logic programming
پدیدآورنده: Doets, Kees
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Logic programming
رده :
QA
76
.
63
.
D64
1994
129. From logic to logic programming /
پدیدآورنده: Kees Doets
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming
رده :
QA76
.
63
.
D64
1994
130. From modallogic to deductive databases
پدیدآورنده: / editor Andre Thayse, authors Paul Gochet...
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Artificial intelligence,Logic programming
رده :
Q
335
.
F76
1989
131. Functional and Logic Programming
پدیدآورنده: \ Oleg Kiselyov , Andy King (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Functional programming (Computer science) -- Congresses.,Logic programming -- Congresses.,Functional programming (Computer science),برنامه‌نویسی منطقی -- کنگره‌ها
رده :
QA
76
.
62
.
F8
2016
E-Book
,
132. Functional and constraint logic programming
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Functional programming (Computer science) ; Congresses. ; Constraint programming (Computer science) ; Congresses. ; Logic programming ; Congresses. ;
133. Functional and constraint logic programming :
پدیدآورنده: Josep Silva (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Constraint programming (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic programming, Congresses.,Constraint programming (Computer science),Functional programming (Computer science),Logic programming.
رده :
QA76
.
62
134. Functional and constraint logic programming :
پدیدآورنده: Julio Mariño (edition)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming, Congresses,Mathematical Logic and Formal Languages
رده :
QA76
.
63
.
W45
2011
135. Functional and constraint logic programming
پدیدآورنده: / Santiago Escobar (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Functional programming (Computer science)--Congresses,Constraint programming (Computer science)--Congresses,Logic programming--Congresses,WFLP
رده :
QA
,
76
.
62
,.
W45
,
2009
136. Functional and constraint logic programming
پدیدآورنده: / Santiago Escobar (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Functional programming (Computer science), Congresses,Constraint programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA76
.
62
.
W45
2010
137. Functional and logic programming
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Functional programming (Computer science) ; Congresses. ; Logic programming ; Congresses. ;
138. Functional and logic programming
پدیدآورنده: Matthias Blume, Naoki Kobayashi, German Vidal. (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Functional programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA
،
76
.
62
،.
F84
،
2010
139. Functional and logic programming
پدیدآورنده: / Masami Hagiya, Philip Wadler (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Functional programming (Computer science)--Congresses,Logic programming--Congresses
رده :
QA
,
76
.
62
,.
F84
,
2006
140. Functional and logic programming
پدیدآورنده: / Matthias Blume, Naoki Kobayashi, German Vidal (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Functional programming (Computer science), Congresses,Logic programming, Congresses
رده :
QA76
.
62
.
F56
2010
